<?php

class Centro extends BaseCentro
{
     // JHM - 29/01/09
  public function __toString()
  {
    return $this->getNombre()."(".$this->getCampus().")";
  }
/*
  public function getCiudad(){
      return NULL;
  }

  public function getProvincia(){
      return NULL;
  }*/
}
